Modeling Concurrency and Reconfiguration in Vehicular Systems: A $\pi$-calculus Approach
نویسندگان
چکیده
As autonomous or semi-autonomous vehicles are deployed on the roads, they will have to eventually start communicating with each other in order to achieve increased efficiency and safety. Current approaches in the control of collaborative vehicles primarily consider homogeneous simplified vehicle dynamics and usually ignore any communication issues. This raises an important question of how systems without the aforementioned limiting assumptions can be modeled, analyzed and certified for safe operation by both industry and governmental agencies. In this work, we propose a modeling framework where communication and system reconfiguration is modeled through π-calculus expressions while the closed-loop control systems are modeled through hybrid automata. We demonstrate how the framework can be utilized for modeling and simulation of platooning behaviors of heterogeneous vehicles.
منابع مشابه
The Attributed Pi-Calculus with Priorities
We present the attributed π-calculus for modeling concurrent systems with interaction constraints depending on the values of attributes of processes. The λ-calculus serves as a constraint language underlying the π-calculus. Interaction constraints subsume priorities, by which to express global aspects of populations. We present a nondeterministic and a stochastic semantics for the attributed π-...
متن کاملA SAIWD-Based Approach for Simultaneous Reconfiguration and Optimal Siting and Sizing of Wind Turbines and DVR units in Distribution Systems
In this paper, a combination of simulated annealing (SA) and intelligent water drops (IWD) algorithm is used to solve the nonlinear/complex problem of simultaneous reconfiguration with optimal allocation (size and location) of wind turbine (WT) as a distributed generation (DG) and dynamic voltage restorer (DVR) as a distributed flexible AC transmission systems (DFACT) unit in a distribution sys...
متن کاملOptimization of majority protocol for controlling transactions concurrency in distributed databases by multi-agent systems
In this paper, we propose a new concurrency control algorithm based on multi-agent systems which is an extension of majority protocol. Then, we suggest a clustering approach to get better results in reliability, decreasing message passing and algorithm’s runtime. Here, we consider n different transactions working on non-conflict data items. Considering execution efficiency of some different...
متن کاملA Survey of Concurrency Control Algorithms in the Operating Systems
Concurrency control is one of the important problems in operation systems. Various studies have been reported to present different algorithms to address this problem, although a few attempts have been made to represent an overall view of the characteristics of these algorithms and comparison of their capabilities to each other. This paper presents a survey of the current methods for controlling...
متن کاملShaped Hierarchical Architectural Design
The architectural design of systems deals with the high level structuring of configurations. Checking that a system belongs to an architectural style (or shape) implies that the architecture is an instance of a structurally defined class. On the other side, hierarchies allow modeling at different levels of detail: subsystems may be represented as single components to abstract structure and beha...
متن کامل